181. Practical foundations for programming languages /
پدیدآورنده : Robert Harper, Carnegie Mellon University.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Programming languages (Electronic computers),Programming languages (Electronic computers)
رده :
QA76
.
7
.
H377
2016
182. Precalculus :
پدیدآورنده : James Stewart, Lothar Redlin, Saleem Watson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics, Textbooks.
رده :
QA39
.
3
.
S74
2009
183. Pro SQL server internals /
پدیدآورنده : Dmitri Korotkevitch
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Client/server computing.,Database management.,Computer Science.,Database Management.
رده :
QA76
.
9
.
D3
184. Probability theory /
پدیدآورنده : Alexandr A. Borovkov ; edited by K.A. Borovkov ; translated by O.B. Borovkova and P.S. Ruzankin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Probabilities.,Probabilities.
رده :
QA273
.
B83313
2013
185. Problem solving with fortran 90 :
پدیدآورنده : David R Brooks
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
QA76
.
73
.
F25
D385
2013
186. Proceedings :
پدیدآورنده : IWISP '96, 4-7 November 1996, Manchester, United Kingdom. [Organised by the Control Systems Centre, UMIST ...]. Ed. by B.G. Mertzios .
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Coding theory -- Congresses,Image processing -- Mathematics -- Congresses,Pattern recognition systems -- Congresses
187. Proceedings :
پدیدآورنده : IWISP '96, 4-7 November 1996, Manchester, United Kingdom. [Organised by the Control Systems Centre, UMIST ...]. Ed. by B.G. Mertzios .
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Coding theory -- Congresses,Image processing -- Mathematics -- Congresses,Pattern recognition systems -- Congresses
188. Proceedings / Parcella 1988 :
پدیدآورنده : by Gottfried Wolf, Tamas Legendi, Udo Schendel.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.
189. Proceedings of the International Conference on Artificial Neural Networks :
پدیدآورنده : ICANN '93. Ed. by Stan Gielen ...
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
190. Program logics for certified compilers /
پدیدآورنده : Andrew W. Appel, Princeton University, Princeton, New Jersey ... [and seven others]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Compilers (Computer programs),Computer software-- Verification,Logic, Symbolic and mathematical
رده :
QA76
.
76
.
V47
A65
2014
191. Programming for everyone in Java
پدیدآورنده : Per Brinch Hansen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Java (Llenguatge de programació)
رده :
QA76
.
73
.
J38
P473
1999
192. Programming in Modula-3 :
پدیدآورنده : László Böszörményi, Carsten Weich ; foreword by Joseph Weizenbaum.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Informatik,MODULA.,Modula-3 (Computer program language)
رده :
QA76
.
73
.
M64
L379
1996
193. Proof and computation
پدیدآورنده : edited by Helmut Schwichtenberg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Programmation logique -- Congrès.
رده :
QA76
.
63
E358
1995
194. RECURSIVE FUNCTIONS IN COMPUTER THEORY
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)
موضوع :
رده :
511
,
3
,
PET
195. Realization and Modelling in System Theory
پدیدآورنده : edited by M. A. Kaashoek, J. H. Schuppen, A. C. M. Ran.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Science (General).
196. Recursire functionals
پدیدآورنده : by Luis E. Sanchis
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع : Recursive functions
197. Recursive function theory
پدیدآورنده :
کتابخانه: (طهران)
موضوع : Congresses ، Recursive functions
رده :
QA
1
.
P7
Vol
.
5
198. Recursive function theory ]Proceedings of the Fifth Symposium in Pure Mathematics of the American Mathematical Society[
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Recursive functions
رده :
QA
248
.
5
.
S9
1961
199. Recursive function theory and logic
پدیدآورنده : Yasuhara, Ann
کتابخانه: (طهران)
موضوع : ، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
248
.
5
.
Y38
200. Recursive function theory and logic
پدیدآورنده : Yasuhara, Ann.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
248
.
5
.
Y36
